More from this Author

Category Theory and Computer Science

by P-.L. Curien (Editor), S. Abramsky (Editor), A. M.. Pitts (Editor), Axel Poigne (Editor), David E. Rydeheard (Editor)